Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·7h
functional programming
Iterator Helpers For Lazy Computation in Javascript
reddit.com·6h·
Discuss: r/javascript
🗑️Garbage Collection
Toy Binary Decision Diagrams
philipzucker.com·1d
Type Checking
Beating the L1 cache with value speculation (2021)
mazzo.li·11h·
Discuss: Lobsters
🔮Branch Predictors
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·1d
🔒Rust Borrowing
Design Principle: Composable Services
sleepingpotato.com·14h·
Discuss: Hacker News
🔀Control Structures
Is Odin Just a More Boring C?
dayvster.com·16h·
Discuss: Hacker News
🐹Go Internals
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
functional programming
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·37m·
Discuss: Hacker News
🔀SSA Construction
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·3h·
Discuss: Substack
🖥️Minimal VMs
compile times... C void* vs <T>(&mut T ..)
reddit.com·13h·
Discuss: r/rust
🎪Staged Compilation
TypeScript Flaws (2024)
intercaetera.com·2h·
Discuss: Hacker News
📋Template Compilers
The Compiler's Secret: How Coroutines Actually Work
dev.to·12h·
Discuss: DEV
🔄Coroutines
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·21h
🌳Tree Shaking
Souvenir
deprogrammaticaipsum.com·1d
🔗Weak References
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·20h
🚪Function Prologues
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
💎 Day 5 of 30 Days of Solidity — Build a Treasure Chest Contract
github.com·1d·
Discuss: DEV
🔀SSA Form